(1
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 90)
  ("(var3 stable)" 90 92)
  ("(var3 up)" 92 99)
  ("(var3 stable)" 99 349)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 100)
  ("(var4 stable)" 100 230)
  ("(var4 down)" 230 299)
  ("(var4 stable)" 299 347)
  ("(var4 up)" 347 349)
  ("(var1 stable)" 0 65)
  ("(var1 up)" 65 97)
  ("(var1 stable)" 97 349)
  ("(var2 stable)" 0 87)
  ("(var2 down)" 87 89)
  ("(var2 stable)" 89 127)
  ("(var2 up)" 127 198)
  ("(var2 stable)" 198 202)
  ("(var2 up)" 202 204)
  ("(var2 down)" 204 206)
  ("(var2 up)" 206 224)
  ("(var2 stable)" 224 349)
 )
)
(2
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 57)
  ("(var3 down)" 57 59)
  ("(var3 up)" 59 83)
  ("(var3 stable)" 83 336)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 101)
  ("(var4 down)" 101 103)
  ("(var4 stable)" 103 195)
  ("(var4 down)" 195 289)
  ("(var4 stable)" 289 336)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 85)
  ("(var1 stable)" 85 336)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 79)
  ("(var2 up)" 79 223)
  ("(var2 stable)" 223 226)
  ("(var2 up)" 226 228)
  ("(var2 stable)" 228 336)
 )
)
(3
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 121)
  ("(var3 stable)" 121 337)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 113)
  ("(var4 stable)" 113 215)
  ("(var4 down)" 215 217)
  ("(var4 up)" 217 219)
  ("(var4 down)" 219 227)
  ("(var4 up)" 227 229)
  ("(var4 down)" 229 231)
  ("(var4 up)" 231 233)
  ("(var4 down)" 233 295)
  ("(var4 stable)" 295 337)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 113)
  ("(var1 stable)" 113 337)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 210)
  ("(var2 down)" 210 212)
  ("(var2 up)" 212 214)
  ("(var2 stable)" 214 337)
 )
)
(4
 (
  ("(var3 up)" 0 2)
  ("(var3 stable)" 2 58)
  ("(var3 up)" 58 89)
  ("(var3 stable)" 89 314)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 63)
  ("(var4 stable)" 63 65)
  ("(var4 up)" 65 97)
  ("(var4 stable)" 97 184)
  ("(var4 down)" 184 270)
  ("(var4 stable)" 270 314)
  ("(var1 stable)" 0 65)
  ("(var1 up)" 65 90)
  ("(var1 stable)" 90 314)
  ("(var2 stable)" 0 82)
  ("(var2 down)" 82 84)
  ("(var2 up)" 84 202)
  ("(var2 stable)" 202 314)
 )
)
(5
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 79)
  ("(var3 stable)" 79 323)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 83)
  ("(var4 stable)" 83 178)
  ("(var4 down)" 178 276)
  ("(var4 stable)" 276 323)
  ("(var1 stable)" 0 46)
  ("(var1 down)" 46 48)
  ("(var1 up)" 48 63)
  ("(var1 stable)" 63 65)
  ("(var1 up)" 65 74)
  ("(var1 stable)" 74 323)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 70)
  ("(var2 stable)" 70 93)
  ("(var2 up)" 93 201)
  ("(var2 stable)" 201 323)
 )
)
(6
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 105)
  ("(var3 stable)" 105 351)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 111)
  ("(var4 down)" 111 115)
  ("(var4 up)" 115 118)
  ("(var4 stable)" 118 200)
  ("(var4 up)" 200 203)
  ("(var4 stable)" 203 236)
  ("(var4 down)" 236 295)
  ("(var4 stable)" 295 297)
  ("(var4 down)" 297 299)
  ("(var4 stable)" 299 351)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 102)
  ("(var1 stable)" 102 351)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 stable)" 97 133)
  ("(var2 up)" 133 138)
  ("(var2 down)" 138 140)
  ("(var2 up)" 140 232)
  ("(var2 stable)" 232 351)
 )
)
(7
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 111)
  ("(var3 stable)" 111 361)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 113)
  ("(var4 stable)" 113 239)
  ("(var4 down)" 239 319)
  ("(var4 stable)" 319 361)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 109)
  ("(var1 stable)" 109 361)
  ("(var2 stable)" 0 101)
  ("(var2 down)" 101 103)
  ("(var2 up)" 103 243)
  ("(var2 stable)" 243 361)
 )
)
(8
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 112)
  ("(var3 stable)" 112 361)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 80)
  ("(var4 stable)" 80 84)
  ("(var4 up)" 84 118)
  ("(var4 stable)" 118 220)
  ("(var4 down)" 220 224)
  ("(var4 up)" 224 226)
  ("(var4 down)" 226 322)
  ("(var4 stable)" 322 361)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 84)
  ("(var1 down)" 84 86)
  ("(var1 up)" 86 91)
  ("(var1 stable)" 91 93)
  ("(var1 up)" 93 111)
  ("(var1 stable)" 111 361)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 109)
  ("(var2 up)" 109 144)
  ("(var2 stable)" 144 148)
  ("(var2 up)" 148 239)
  ("(var2 stable)" 239 361)
 )
)
(9
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 79)
  ("(var3 stable)" 79 287)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 80)
  ("(var4 stable)" 80 83)
  ("(var4 up)" 83 85)
  ("(var4 stable)" 85 177)
  ("(var4 down)" 177 252)
  ("(var4 stable)" 252 287)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 78)
  ("(var1 stable)" 78 287)
  ("(var2 stable)" 0 72)
  ("(var2 up)" 72 198)
  ("(var2 stable)" 198 287)
 )
)
(10
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 112)
  ("(var3 stable)" 112 349)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 99)
  ("(var4 stable)" 99 202)
  ("(var4 down)" 202 237)
  ("(var4 stable)" 237 240)
  ("(var4 down)" 240 324)
  ("(var4 stable)" 324 349)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 96)
  ("(var1 stable)" 96 349)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 89)
  ("(var2 up)" 89 228)
  ("(var2 stable)" 228 349)
 )
)
(11
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 86)
  ("(var3 stable)" 86 88)
  ("(var3 up)" 88 95)
  ("(var3 stable)" 95 347)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 66)
  ("(var4 down)" 66 68)
  ("(var4 up)" 68 96)
  ("(var4 stable)" 96 189)
  ("(var4 down)" 189 228)
  ("(var4 stable)" 228 230)
  ("(var4 down)" 230 294)
  ("(var4 stable)" 294 296)
  ("(var4 down)" 296 298)
  ("(var4 stable)" 298 344)
  ("(var4 down)" 344 347)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 68)
  ("(var1 down)" 68 70)
  ("(var1 up)" 70 86)
  ("(var1 down)" 86 88)
  ("(var1 up)" 88 93)
  ("(var1 down)" 93 95)
  ("(var1 up)" 95 98)
  ("(var1 stable)" 98 347)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 stable)" 85 121)
  ("(var2 up)" 121 220)
  ("(var2 stable)" 220 347)
 )
)
(12
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 121)
  ("(var3 stable)" 121 123)
  ("(var3 up)" 123 126)
  ("(var3 stable)" 126 375)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 128)
  ("(var4 down)" 128 131)
  ("(var4 stable)" 131 236)
  ("(var4 down)" 236 334)
  ("(var4 stable)" 334 375)
  ("(var1 stable)" 0 99)
  ("(var1 up)" 99 104)
  ("(var1 down)" 104 106)
  ("(var1 up)" 106 120)
  ("(var1 down)" 120 123)
  ("(var1 up)" 123 125)
  ("(var1 stable)" 125 375)
  ("(var2 stable)" 0 115)
  ("(var2 down)" 115 117)
  ("(var2 stable)" 117 154)
  ("(var2 up)" 154 251)
  ("(var2 stable)" 251 375)
 )
)
(13
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 111)
  ("(var3 stable)" 111 113)
  ("(var3 up)" 113 115)
  ("(var3 stable)" 115 339)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 114)
  ("(var4 stable)" 114 202)
  ("(var4 down)" 202 289)
  ("(var4 stable)" 289 292)
  ("(var4 down)" 292 295)
  ("(var4 stable)" 295 331)
  ("(var4 up)" 331 333)
  ("(var4 down)" 333 339)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 108)
  ("(var1 stable)" 108 339)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 stable)" 106 136)
  ("(var2 up)" 136 225)
  ("(var2 stable)" 225 339)
 )
)
(14
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 70)
  ("(var3 stable)" 70 289)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 74)
  ("(var4 stable)" 74 150)
  ("(var4 down)" 150 257)
  ("(var4 stable)" 257 289)
  ("(var1 stable)" 0 45)
  ("(var1 down)" 45 47)
  ("(var1 up)" 47 64)
  ("(var1 down)" 64 66)
  ("(var1 up)" 66 69)
  ("(var1 stable)" 69 289)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 stable)" 62 95)
  ("(var2 up)" 95 184)
  ("(var2 stable)" 184 289)
 )
)
(15
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 63)
  ("(var3 stable)" 63 66)
  ("(var3 up)" 66 88)
  ("(var3 stable)" 88 317)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 91)
  ("(var4 stable)" 91 203)
  ("(var4 down)" 203 269)
  ("(var4 stable)" 269 315)
  ("(var4 up)" 315 317)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 89)
  ("(var1 stable)" 89 317)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 80)
  ("(var2 stable)" 80 82)
  ("(var2 up)" 82 200)
  ("(var2 stable)" 200 317)
 )
)
(16
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 78)
  ("(var3 stable)" 78 328)
  ("(var4 stable)" 0 38)
  ("(var4 up)" 38 79)
  ("(var4 stable)" 79 183)
  ("(var4 down)" 183 305)
  ("(var4 stable)" 305 328)
  ("(var1 stable)" 0 46)
  ("(var1 down)" 46 48)
  ("(var1 up)" 48 78)
  ("(var1 stable)" 78 328)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 69)
  ("(var2 stable)" 69 107)
  ("(var2 up)" 107 185)
  ("(var2 stable)" 185 328)
 )
)
(17
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 75)
  ("(var3 stable)" 75 325)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 79)
  ("(var4 stable)" 79 175)
  ("(var4 down)" 175 305)
  ("(var4 stable)" 305 325)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 71)
  ("(var1 stable)" 71 325)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 stable)" 64 103)
  ("(var2 up)" 103 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 173)
  ("(var2 down)" 173 175)
  ("(var2 up)" 175 198)
  ("(var2 stable)" 198 325)
 )
)
(18
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 95)
  ("(var3 stable)" 95 342)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 90)
  ("(var4 down)" 90 92)
  ("(var4 up)" 92 99)
  ("(var4 stable)" 99 102)
  ("(var4 up)" 102 104)
  ("(var4 stable)" 104 197)
  ("(var4 down)" 197 289)
  ("(var4 stable)" 289 291)
  ("(var4 down)" 291 293)
  ("(var4 stable)" 293 334)
  ("(var4 up)" 334 336)
  ("(var4 stable)" 336 338)
  ("(var4 down)" 338 342)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 90)
  ("(var1 down)" 90 92)
  ("(var1 up)" 92 94)
  ("(var1 stable)" 94 342)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 up)" 87 236)
  ("(var2 stable)" 236 342)
 )
)
(19
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 32)
  ("(var3 down)" 32 34)
  ("(var3 up)" 34 65)
  ("(var3 stable)" 65 287)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 66)
  ("(var4 stable)" 66 151)
  ("(var4 down)" 151 256)
  ("(var4 stable)" 256 287)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 39)
  ("(var1 down)" 39 41)
  ("(var1 up)" 41 60)
  ("(var1 down)" 60 62)
  ("(var1 up)" 62 64)
  ("(var1 stable)" 64 287)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 55)
  ("(var2 up)" 55 172)
  ("(var2 down)" 172 174)
  ("(var2 up)" 174 176)
  ("(var2 stable)" 176 287)
 )
)
(20
 (
  ("(var3 stable)" 0 96)
  ("(var3 up)" 96 137)
  ("(var3 stable)" 137 385)
  ("(var4 stable)" 0 97)
  ("(var4 up)" 97 131)
  ("(var4 down)" 131 133)
  ("(var4 up)" 133 136)
  ("(var4 stable)" 136 242)
  ("(var4 down)" 242 246)
  ("(var4 up)" 246 248)
  ("(var4 down)" 248 349)
  ("(var4 stable)" 349 385)
  ("(var1 stable)" 0 99)
  ("(var1 up)" 99 127)
  ("(var1 stable)" 127 385)
  ("(var2 stable)" 0 121)
  ("(var2 down)" 121 123)
  ("(var2 stable)" 123 162)
  ("(var2 up)" 162 240)
  ("(var2 down)" 240 242)
  ("(var2 stable)" 242 283)
  ("(var2 down)" 283 285)
  ("(var2 stable)" 285 385)
 )
)
(21
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 89)
  ("(var3 stable)" 89 336)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 94)
  ("(var4 stable)" 94 189)
  ("(var4 down)" 189 309)
  ("(var4 stable)" 309 336)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 62)
  ("(var1 up)" 62 87)
  ("(var1 stable)" 87 336)
  ("(var2 stable)" 0 82)
  ("(var2 down)" 82 84)
  ("(var2 stable)" 84 118)
  ("(var2 up)" 118 222)
  ("(var2 down)" 222 224)
  ("(var2 stable)" 224 336)
 )
)
(22
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 94)
  ("(var3 stable)" 94 334)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 97)
  ("(var4 stable)" 97 197)
  ("(var4 up)" 197 199)
  ("(var4 down)" 199 201)
  ("(var4 up)" 201 203)
  ("(var4 stable)" 203 205)
  ("(var4 down)" 205 207)
  ("(var4 up)" 207 209)
  ("(var4 down)" 209 305)
  ("(var4 stable)" 305 334)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 88)
  ("(var1 stable)" 88 334)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 stable)" 85 120)
  ("(var2 up)" 120 226)
  ("(var2 stable)" 226 334)
 )
)
(23
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 112)
  ("(var3 stable)" 112 334)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 126)
  ("(var4 stable)" 126 201)
  ("(var4 down)" 201 315)
  ("(var4 stable)" 315 334)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 109)
  ("(var1 stable)" 109 334)
  ("(var2 stable)" 0 101)
  ("(var2 down)" 101 103)
  ("(var2 up)" 103 222)
  ("(var2 stable)" 222 334)
 )
)
(24
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 79)
  ("(var3 stable)" 79 305)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 78)
  ("(var4 stable)" 78 195)
  ("(var4 down)" 195 197)
  ("(var4 stable)" 197 199)
  ("(var4 down)" 199 201)
  ("(var4 up)" 201 204)
  ("(var4 down)" 204 276)
  ("(var4 stable)" 276 305)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 74)
  ("(var1 stable)" 74 305)
  ("(var2 stable)" 0 67)
  ("(var2 down)" 67 69)
  ("(var2 stable)" 69 99)
  ("(var2 up)" 99 193)
  ("(var2 stable)" 193 305)
 )
)
(25
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 90)
  ("(var3 stable)" 90 327)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 89)
  ("(var4 stable)" 89 212)
  ("(var4 down)" 212 290)
  ("(var4 stable)" 290 327)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 84)
  ("(var1 stable)" 84 327)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 78)
  ("(var2 up)" 78 207)
  ("(var2 stable)" 207 327)
 )
)
(26
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 115)
  ("(var3 stable)" 115 336)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 112)
  ("(var4 stable)" 112 212)
  ("(var4 down)" 212 214)
  ("(var4 up)" 214 216)
  ("(var4 down)" 216 289)
  ("(var4 stable)" 289 291)
  ("(var4 down)" 291 336)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 112)
  ("(var1 stable)" 112 336)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 up)" 107 209)
  ("(var2 stable)" 209 336)
 )
)
(27
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 115)
  ("(var3 stable)" 115 339)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 114)
  ("(var4 down)" 114 116)
  ("(var4 stable)" 116 224)
  ("(var4 down)" 224 226)
  ("(var4 stable)" 226 228)
  ("(var4 down)" 228 230)
  ("(var4 up)" 230 232)
  ("(var4 down)" 232 294)
  ("(var4 stable)" 294 339)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 113)
  ("(var1 stable)" 113 339)
  ("(var2 stable)" 0 101)
  ("(var2 down)" 101 103)
  ("(var2 up)" 103 229)
  ("(var2 stable)" 229 339)
 )
)
(28
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 61)
  ("(var3 stable)" 61 289)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 65)
  ("(var4 down)" 65 67)
  ("(var4 stable)" 67 159)
  ("(var4 down)" 159 272)
  ("(var4 stable)" 272 289)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 60)
  ("(var1 stable)" 60 289)
  ("(var2 stable)" 0 51)
  ("(var2 down)" 51 53)
  ("(var2 up)" 53 178)
  ("(var2 stable)" 178 289)
 )
)
(29
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 124)
  ("(var3 stable)" 124 370)
  ("(var4 stable)" 0 95)
  ("(var4 up)" 95 129)
  ("(var4 stable)" 129 237)
  ("(var4 down)" 237 342)
  ("(var4 stable)" 342 370)
  ("(var1 stable)" 0 101)
  ("(var1 up)" 101 103)
  ("(var1 down)" 103 105)
  ("(var1 up)" 105 123)
  ("(var1 stable)" 123 370)
  ("(var2 stable)" 0 117)
  ("(var2 down)" 117 119)
  ("(var2 stable)" 119 160)
  ("(var2 up)" 160 248)
  ("(var2 down)" 248 250)
  ("(var2 stable)" 250 370)
 )
)
(30
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 112)
  ("(var3 stable)" 112 114)
  ("(var3 up)" 114 116)
  ("(var3 stable)" 116 333)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 111)
  ("(var4 stable)" 111 216)
  ("(var4 down)" 216 289)
  ("(var4 stable)" 289 331)
  ("(var4 up)" 331 333)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 105)
  ("(var1 stable)" 105 333)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 up)" 102 234)
  ("(var2 stable)" 234 333)
 )
)
(31
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 102)
  ("(var3 stable)" 102 347)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 73)
  ("(var4 up)" 73 107)
  ("(var4 stable)" 107 195)
  ("(var4 down)" 195 309)
  ("(var4 stable)" 309 347)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 99)
  ("(var1 stable)" 99 347)
  ("(var2 stable)" 0 93)
  ("(var2 down)" 93 95)
  ("(var2 up)" 95 142)
  ("(var2 down)" 142 144)
  ("(var2 up)" 144 227)
  ("(var2 stable)" 227 347)
 )
)
(32
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 95)
  ("(var3 stable)" 95 349)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 96)
  ("(var4 stable)" 96 229)
  ("(var4 down)" 229 308)
  ("(var4 stable)" 308 347)
  ("(var4 up)" 347 349)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 88)
  ("(var1 stable)" 88 349)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 82)
  ("(var2 up)" 82 224)
  ("(var2 stable)" 224 349)
 )
)
(33
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 52)
  ("(var3 down)" 52 55)
  ("(var3 up)" 55 81)
  ("(var3 stable)" 81 321)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 85)
  ("(var4 down)" 85 87)
  ("(var4 up)" 87 89)
  ("(var4 stable)" 89 207)
  ("(var4 down)" 207 280)
  ("(var4 up)" 280 282)
  ("(var4 down)" 282 284)
  ("(var4 stable)" 284 321)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 55)
  ("(var1 up)" 55 58)
  ("(var1 stable)" 58 60)
  ("(var1 up)" 60 81)
  ("(var1 stable)" 81 321)
  ("(var2 stable)" 0 73)
  ("(var2 down)" 73 78)
  ("(var2 up)" 78 204)
  ("(var2 stable)" 204 321)
 )
)
(34
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 113)
  ("(var3 down)" 113 115)
  ("(var3 stable)" 115 352)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 117)
  ("(var4 stable)" 117 237)
  ("(var4 down)" 237 239)
  ("(var4 stable)" 239 243)
  ("(var4 down)" 243 319)
  ("(var4 stable)" 319 352)
  ("(var1 stable)" 0 72)
  ("(var1 up)" 72 106)
  ("(var1 stable)" 106 352)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 99)
  ("(var2 stable)" 99 138)
  ("(var2 up)" 138 242)
  ("(var2 down)" 242 244)
  ("(var2 up)" 244 246)
  ("(var2 stable)" 246 352)
 )
)
(35
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 75)
  ("(var3 stable)" 75 309)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 45)
  ("(var4 stable)" 45 47)
  ("(var4 up)" 47 77)
  ("(var4 down)" 77 80)
  ("(var4 up)" 80 84)
  ("(var4 stable)" 84 170)
  ("(var4 down)" 170 300)
  ("(var4 stable)" 300 309)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 66)
  ("(var1 stable)" 66 309)
  ("(var2 stable)" 0 57)
  ("(var2 up)" 57 59)
  ("(var2 down)" 59 64)
  ("(var2 stable)" 64 96)
  ("(var2 up)" 96 206)
  ("(var2 stable)" 206 309)
 )
)
(36
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 48)
  ("(var3 up)" 48 80)
  ("(var3 stable)" 80 288)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 81)
  ("(var4 stable)" 81 172)
  ("(var4 down)" 172 285)
  ("(var4 up)" 285 288)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 73)
  ("(var1 stable)" 73 288)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 stable)" 67 98)
  ("(var2 up)" 98 147)
  ("(var2 stable)" 147 149)
  ("(var2 up)" 149 183)
  ("(var2 stable)" 183 288)
 )
)
(37
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 95)
  ("(var3 stable)" 95 334)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 93)
  ("(var4 stable)" 93 211)
  ("(var4 down)" 211 279)
  ("(var4 up)" 279 281)
  ("(var4 down)" 281 284)
  ("(var4 stable)" 284 329)
  ("(var4 up)" 329 332)
  ("(var4 down)" 332 334)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 90)
  ("(var1 stable)" 90 334)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 stable)" 85 116)
  ("(var2 up)" 116 189)
  ("(var2 stable)" 189 334)
 )
)
(38
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 79)
  ("(var3 stable)" 79 336)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 80)
  ("(var4 stable)" 80 182)
  ("(var4 up)" 182 184)
  ("(var4 down)" 184 219)
  ("(var4 stable)" 219 222)
  ("(var4 down)" 222 224)
  ("(var4 stable)" 224 226)
  ("(var4 down)" 226 229)
  ("(var4 up)" 229 231)
  ("(var4 down)" 231 284)
  ("(var4 up)" 284 286)
  ("(var4 down)" 286 325)
  ("(var4 stable)" 325 336)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 82)
  ("(var1 down)" 82 84)
  ("(var1 up)" 84 86)
  ("(var1 stable)" 86 336)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 73)
  ("(var2 stable)" 73 106)
  ("(var2 up)" 106 182)
  ("(var2 stable)" 182 184)
  ("(var2 up)" 184 222)
  ("(var2 down)" 222 224)
  ("(var2 up)" 224 226)
  ("(var2 down)" 226 228)
  ("(var2 up)" 228 231)
  ("(var2 stable)" 231 336)
 )
)
(39
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 101)
  ("(var3 stable)" 101 341)
  ("(var4 stable)" 0 73)
  ("(var4 up)" 73 105)
  ("(var4 stable)" 105 109)
  ("(var4 up)" 109 111)
  ("(var4 stable)" 111 225)
  ("(var4 down)" 225 311)
  ("(var4 stable)" 311 341)
  ("(var1 stable)" 0 65)
  ("(var1 up)" 65 97)
  ("(var1 stable)" 97 341)
  ("(var2 stable)" 0 90)
  ("(var2 down)" 90 92)
  ("(var2 up)" 92 133)
  ("(var2 stable)" 133 136)
  ("(var2 up)" 136 216)
  ("(var2 down)" 216 218)
  ("(var2 up)" 218 220)
  ("(var2 stable)" 220 341)
 )
)
(40
 (
  ("(var3 down)" 0 2)
  ("(var3 up)" 2 5)
  ("(var3 down)" 5 7)
  ("(var3 stable)" 7 46)
  ("(var3 up)" 46 73)
  ("(var3 stable)" 73 282)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 70)
  ("(var4 stable)" 70 154)
  ("(var4 up)" 154 156)
  ("(var4 down)" 156 158)
  ("(var4 stable)" 158 162)
  ("(var4 down)" 162 253)
  ("(var4 stable)" 253 282)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 72)
  ("(var1 stable)" 72 282)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 up)" 64 182)
  ("(var2 stable)" 182 280)
  ("(var2 down)" 280 282)
 )
)
(41
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 96)
  ("(var3 stable)" 96 331)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 100)
  ("(var4 stable)" 100 198)
  ("(var4 down)" 198 278)
  ("(var4 stable)" 278 282)
  ("(var4 down)" 282 284)
  ("(var4 up)" 284 286)
  ("(var4 down)" 286 288)
  ("(var4 stable)" 288 331)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 92)
  ("(var1 stable)" 92 331)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 stable)" 86 116)
  ("(var2 up)" 116 119)
  ("(var2 stable)" 119 121)
  ("(var2 up)" 121 222)
  ("(var2 stable)" 222 331)
 )
)
(42
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 116)
  ("(var3 stable)" 116 118)
  ("(var3 up)" 118 120)
  ("(var3 stable)" 120 353)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 120)
  ("(var4 stable)" 120 207)
  ("(var4 down)" 207 326)
  ("(var4 stable)" 326 353)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 115)
  ("(var1 stable)" 115 353)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 211)
  ("(var2 stable)" 211 214)
  ("(var2 up)" 214 216)
  ("(var2 stable)" 216 353)
 )
)
(43
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 73)
  ("(var3 stable)" 73 296)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 39)
  ("(var4 up)" 39 79)
  ("(var4 stable)" 79 165)
  ("(var4 down)" 165 268)
  ("(var4 stable)" 268 296)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 44)
  ("(var1 down)" 44 46)
  ("(var1 up)" 46 69)
  ("(var1 stable)" 69 296)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 up)" 62 97)
  ("(var2 stable)" 97 100)
  ("(var2 up)" 100 192)
  ("(var2 stable)" 192 296)
 )
)
(44
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 87)
  ("(var3 stable)" 87 339)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 85)
  ("(var4 stable)" 85 204)
  ("(var4 down)" 204 206)
  ("(var4 stable)" 206 209)
  ("(var4 down)" 209 293)
  ("(var4 stable)" 293 334)
  ("(var4 up)" 334 337)
  ("(var4 down)" 337 339)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 81)
  ("(var1 stable)" 81 339)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 76)
  ("(var2 up)" 76 223)
  ("(var2 stable)" 223 339)
 )
)
(45
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 86)
  ("(var3 stable)" 86 341)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 92)
  ("(var4 stable)" 92 206)
  ("(var4 up)" 206 208)
  ("(var4 down)" 208 291)
  ("(var4 stable)" 291 341)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 74)
  ("(var1 down)" 74 76)
  ("(var1 up)" 76 80)
  ("(var1 stable)" 80 341)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 71)
  ("(var2 up)" 71 208)
  ("(var2 stable)" 208 341)
 )
)
(46
 (
  ("(var3 stable)" 0 96)
  ("(var3 up)" 96 126)
  ("(var3 stable)" 126 367)
  ("(var4 stable)" 0 92)
  ("(var4 up)" 92 128)
  ("(var4 stable)" 128 229)
  ("(var4 up)" 229 234)
  ("(var4 down)" 234 319)
  ("(var4 stable)" 319 367)
  ("(var1 stable)" 0 97)
  ("(var1 up)" 97 121)
  ("(var1 stable)" 121 367)
  ("(var2 stable)" 0 116)
  ("(var2 down)" 116 118)
  ("(var2 up)" 118 234)
  ("(var2 stable)" 234 367)
 )
)
(47
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 82)
  ("(var3 stable)" 82 314)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 83)
  ("(var4 down)" 83 85)
  ("(var4 stable)" 85 201)
  ("(var4 down)" 201 268)
  ("(var4 up)" 268 270)
  ("(var4 down)" 270 279)
  ("(var4 stable)" 279 314)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 76)
  ("(var1 stable)" 76 78)
  ("(var1 up)" 78 85)
  ("(var1 stable)" 85 314)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 73)
  ("(var2 stable)" 73 102)
  ("(var2 up)" 102 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 185)
  ("(var2 stable)" 185 314)
 )
)
(48
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 84)
  ("(var3 stable)" 84 86)
  ("(var3 up)" 86 117)
  ("(var3 stable)" 117 340)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 117)
  ("(var4 stable)" 117 197)
  ("(var4 down)" 197 237)
  ("(var4 stable)" 237 239)
  ("(var4 down)" 239 287)
  ("(var4 stable)" 287 289)
  ("(var4 down)" 289 306)
  ("(var4 stable)" 306 340)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 88)
  ("(var1 stable)" 88 90)
  ("(var1 up)" 90 107)
  ("(var1 stable)" 107 109)
  ("(var1 up)" 109 111)
  ("(var1 stable)" 111 340)
  ("(var2 stable)" 0 103)
  ("(var2 down)" 103 105)
  ("(var2 stable)" 105 130)
  ("(var2 up)" 130 230)
  ("(var2 stable)" 230 340)
 )
)
(49
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 98)
  ("(var3 stable)" 98 337)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 72)
  ("(var4 stable)" 72 75)
  ("(var4 up)" 75 101)
  ("(var4 stable)" 101 201)
  ("(var4 down)" 201 293)
  ("(var4 stable)" 293 337)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 95)
  ("(var1 stable)" 95 337)
  ("(var2 stable)" 0 90)
  ("(var2 down)" 90 92)
  ("(var2 stable)" 92 125)
  ("(var2 up)" 125 220)
  ("(var2 stable)" 220 337)
 )
)
(50
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 107)
  ("(var3 stable)" 107 330)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 115)
  ("(var4 stable)" 115 196)
  ("(var4 down)" 196 283)
  ("(var4 stable)" 283 330)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 106)
  ("(var1 stable)" 106 330)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 100)
  ("(var2 up)" 100 207)
  ("(var2 stable)" 207 330)
 )
)
(51
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 84)
  ("(var3 stable)" 84 319)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 52)
  ("(var4 down)" 52 55)
  ("(var4 up)" 55 87)
  ("(var4 stable)" 87 202)
  ("(var4 down)" 202 207)
  ("(var4 up)" 207 209)
  ("(var4 down)" 209 273)
  ("(var4 stable)" 273 319)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 77)
  ("(var1 down)" 77 79)
  ("(var1 stable)" 79 319)
  ("(var2 stable)" 0 73)
  ("(var2 down)" 73 77)
  ("(var2 up)" 77 110)
  ("(var2 stable)" 110 112)
  ("(var2 up)" 112 203)
  ("(var2 stable)" 203 319)
 )
)
(52
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 74)
  ("(var3 stable)" 74 275)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 76)
  ("(var4 stable)" 76 149)
  ("(var4 down)" 149 235)
  ("(var4 stable)" 235 275)
  ("(var1 stable)" 0 48)
  ("(var1 up)" 48 63)
  ("(var1 stable)" 63 275)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 up)" 62 160)
  ("(var2 stable)" 160 275)
 )
)
(53
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 86)
  ("(var3 down)" 86 88)
  ("(var3 up)" 88 123)
  ("(var3 down)" 123 125)
  ("(var3 stable)" 125 374)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 86)
  ("(var4 down)" 86 89)
  ("(var4 up)" 89 115)
  ("(var4 stable)" 115 117)
  ("(var4 up)" 117 124)
  ("(var4 down)" 124 126)
  ("(var4 up)" 126 128)
  ("(var4 stable)" 128 237)
  ("(var4 down)" 237 333)
  ("(var4 stable)" 333 374)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 86)
  ("(var1 down)" 86 88)
  ("(var1 up)" 88 127)
  ("(var1 stable)" 127 374)
  ("(var2 stable)" 0 108)
  ("(var2 down)" 108 110)
  ("(var2 stable)" 110 148)
  ("(var2 up)" 148 150)
  ("(var2 stable)" 150 152)
  ("(var2 up)" 152 270)
  ("(var2 stable)" 270 374)
 )
)
(54
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 58)
  ("(var3 stable)" 58 285)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 62)
  ("(var4 stable)" 62 174)
  ("(var4 down)" 174 250)
  ("(var4 stable)" 250 285)
  ("(var1 stable)" 0 33)
  ("(var1 down)" 33 35)
  ("(var1 up)" 35 59)
  ("(var1 stable)" 59 285)
  ("(var2 stable)" 0 52)
  ("(var2 down)" 52 56)
  ("(var2 up)" 56 177)
  ("(var2 stable)" 177 285)
 )
)
(55
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 83)
  ("(var3 stable)" 83 318)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 83)
  ("(var4 stable)" 83 194)
  ("(var4 down)" 194 274)
  ("(var4 stable)" 274 318)
  ("(var1 stable)" 0 49)
  ("(var1 down)" 49 51)
  ("(var1 up)" 51 77)
  ("(var1 stable)" 77 318)
  ("(var2 stable)" 0 70)
  ("(var2 down)" 70 72)
  ("(var2 up)" 72 196)
  ("(var2 stable)" 196 318)
 )
)
(56
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 74)
  ("(var3 stable)" 74 316)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 77)
  ("(var4 stable)" 77 79)
  ("(var4 up)" 79 87)
  ("(var4 stable)" 87 189)
  ("(var4 down)" 189 280)
  ("(var4 stable)" 280 316)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 74)
  ("(var1 stable)" 74 316)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 72)
  ("(var2 up)" 72 167)
  ("(var2 down)" 167 169)
  ("(var2 up)" 169 207)
  ("(var2 stable)" 207 316)
 )
)
(57
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 52)
  ("(var3 down)" 52 54)
  ("(var3 up)" 54 82)
  ("(var3 stable)" 82 304)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 87)
  ("(var4 stable)" 87 171)
  ("(var4 down)" 171 175)
  ("(var4 stable)" 175 177)
  ("(var4 down)" 177 280)
  ("(var4 up)" 280 282)
  ("(var4 down)" 282 289)
  ("(var4 stable)" 289 304)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 79)
  ("(var1 stable)" 79 304)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 74)
  ("(var2 stable)" 74 97)
  ("(var2 up)" 97 195)
  ("(var2 stable)" 195 304)
 )
)
(58
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 90)
  ("(var3 stable)" 90 299)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 91)
  ("(var4 stable)" 91 169)
  ("(var4 down)" 169 257)
  ("(var4 stable)" 257 260)
  ("(var4 down)" 260 262)
  ("(var4 stable)" 262 299)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 87)
  ("(var1 stable)" 87 299)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 82)
  ("(var2 up)" 82 199)
  ("(var2 stable)" 199 299)
 )
)
(59
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 87)
  ("(var3 stable)" 87 306)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 89)
  ("(var4 down)" 89 91)
  ("(var4 up)" 91 93)
  ("(var4 stable)" 93 174)
  ("(var4 down)" 174 268)
  ("(var4 stable)" 268 306)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 85)
  ("(var1 stable)" 85 306)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 stable)" 79 113)
  ("(var2 up)" 113 189)
  ("(var2 stable)" 189 306)
 )
)
(60
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 76)
  ("(var3 stable)" 76 78)
  ("(var3 up)" 78 108)
  ("(var3 stable)" 108 342)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 118)
  ("(var4 down)" 118 120)
  ("(var4 up)" 120 123)
  ("(var4 stable)" 123 216)
  ("(var4 down)" 216 235)
  ("(var4 stable)" 235 237)
  ("(var4 down)" 237 328)
  ("(var4 stable)" 328 342)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 104)
  ("(var1 stable)" 104 342)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 100)
  ("(var2 stable)" 100 134)
  ("(var2 up)" 134 227)
  ("(var2 stable)" 227 229)
  ("(var2 up)" 229 232)
  ("(var2 stable)" 232 342)
 )
)
(61
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 80)
  ("(var3 down)" 80 83)
  ("(var3 up)" 83 115)
  ("(var3 stable)" 115 356)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 117)
  ("(var4 stable)" 117 244)
  ("(var4 down)" 244 310)
  ("(var4 stable)" 310 316)
  ("(var4 down)" 316 318)
  ("(var4 stable)" 318 356)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 115)
  ("(var1 stable)" 115 356)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 stable)" 108 138)
  ("(var2 up)" 138 147)
  ("(var2 stable)" 147 149)
  ("(var2 up)" 149 235)
  ("(var2 down)" 235 237)
  ("(var2 up)" 237 239)
  ("(var2 stable)" 239 356)
 )
)
(62
 (
  ("(var3 stable)" 0 89)
  ("(var3 up)" 89 123)
  ("(var3 stable)" 123 369)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 123)
  ("(var4 stable)" 123 242)
  ("(var4 down)" 242 343)
  ("(var4 stable)" 343 369)
  ("(var1 stable)" 0 96)
  ("(var1 down)" 96 98)
  ("(var1 up)" 98 118)
  ("(var1 stable)" 118 369)
  ("(var2 stable)" 0 113)
  ("(var2 down)" 113 115)
  ("(var2 stable)" 115 149)
  ("(var2 up)" 149 257)
  ("(var2 stable)" 257 369)
 )
)
(63
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 105)
  ("(var3 stable)" 105 367)
  ("(var4 stable)" 0 73)
  ("(var4 down)" 73 76)
  ("(var4 up)" 76 109)
  ("(var4 stable)" 109 221)
  ("(var4 down)" 221 342)
  ("(var4 stable)" 342 367)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 82)
  ("(var1 stable)" 82 84)
  ("(var1 up)" 84 105)
  ("(var1 stable)" 105 367)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 99)
  ("(var2 stable)" 99 135)
  ("(var2 up)" 135 209)
  ("(var2 down)" 209 212)
  ("(var2 up)" 212 214)
  ("(var2 stable)" 214 365)
  ("(var2 up)" 365 367)
 )
)
(64
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 83)
  ("(var3 stable)" 83 311)
  ("(var4 stable)" 0 46)
  ("(var4 up)" 46 84)
  ("(var4 stable)" 84 87)
  ("(var4 up)" 87 89)
  ("(var4 stable)" 89 184)
  ("(var4 down)" 184 186)
  ("(var4 up)" 186 188)
  ("(var4 down)" 188 287)
  ("(var4 stable)" 287 311)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 87)
  ("(var1 stable)" 87 311)
  ("(var2 stable)" 0 74)
  ("(var2 down)" 74 76)
  ("(var2 stable)" 76 109)
  ("(var2 up)" 109 114)
  ("(var2 down)" 114 116)
  ("(var2 up)" 116 204)
  ("(var2 stable)" 204 311)
 )
)
(65
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 119)
  ("(var3 stable)" 119 370)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 121)
  ("(var4 stable)" 121 217)
  ("(var4 down)" 217 317)
  ("(var4 stable)" 317 322)
  ("(var4 down)" 322 324)
  ("(var4 stable)" 324 370)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 117)
  ("(var1 stable)" 117 370)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 up)" 106 149)
  ("(var2 stable)" 149 151)
  ("(var2 up)" 151 242)
  ("(var2 stable)" 242 370)
 )
)
(66
 (
  ("(var3 stable)" 0 48)
  ("(var3 up)" 48 88)
  ("(var3 stable)" 88 335)
  ("(var4 stable)" 0 46)
  ("(var4 up)" 46 94)
  ("(var4 stable)" 94 186)
  ("(var4 down)" 186 215)
  ("(var4 stable)" 215 217)
  ("(var4 down)" 217 299)
  ("(var4 stable)" 299 335)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 52)
  ("(var1 down)" 52 54)
  ("(var1 up)" 54 80)
  ("(var1 stable)" 80 335)
  ("(var2 stable)" 0 68)
  ("(var2 down)" 68 71)
  ("(var2 up)" 71 213)
  ("(var2 down)" 213 215)
  ("(var2 stable)" 215 335)
 )
)
(67
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 117)
  ("(var3 down)" 117 120)
  ("(var3 stable)" 120 358)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 124)
  ("(var4 stable)" 124 209)
  ("(var4 down)" 209 315)
  ("(var4 stable)" 315 317)
  ("(var4 down)" 317 319)
  ("(var4 up)" 319 322)
  ("(var4 stable)" 322 358)
  ("(var1 stable)" 0 90)
  ("(var1 up)" 90 92)
  ("(var1 stable)" 92 94)
  ("(var1 up)" 94 112)
  ("(var1 down)" 112 114)
  ("(var1 up)" 114 116)
  ("(var1 stable)" 116 358)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 242)
  ("(var2 stable)" 242 358)
 )
)
(68
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 39)
  ("(var3 down)" 39 41)
  ("(var3 up)" 41 65)
  ("(var3 stable)" 65 284)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 69)
  ("(var4 stable)" 69 151)
  ("(var4 down)" 151 153)
  ("(var4 up)" 153 155)
  ("(var4 down)" 155 241)
  ("(var4 stable)" 241 282)
  ("(var4 up)" 282 284)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 67)
  ("(var1 stable)" 67 284)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 up)" 61 178)
  ("(var2 stable)" 178 284)
 )
)
(69
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 111)
  ("(var3 stable)" 111 341)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 119)
  ("(var4 stable)" 119 209)
  ("(var4 down)" 209 305)
  ("(var4 stable)" 305 341)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 113)
  ("(var1 stable)" 113 341)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 up)" 106 226)
  ("(var2 stable)" 226 341)
 )
)
(70
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 113)
  ("(var3 stable)" 113 353)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 116)
  ("(var4 stable)" 116 241)
  ("(var4 down)" 241 304)
  ("(var4 up)" 304 306)
  ("(var4 down)" 306 310)
  ("(var4 stable)" 310 353)
  ("(var1 stable)" 0 86)
  ("(var1 up)" 86 112)
  ("(var1 stable)" 112 353)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 stable)" 108 134)
  ("(var2 up)" 134 229)
  ("(var2 down)" 229 231)
  ("(var2 stable)" 231 353)
 )
)
(71
 (
  ("(var3 stable)" 0 31)
  ("(var3 up)" 31 59)
  ("(var3 down)" 59 61)
  ("(var3 stable)" 61 276)
  ("(var4 stable)" 0 29)
  ("(var4 up)" 29 63)
  ("(var4 stable)" 63 165)
  ("(var4 down)" 165 236)
  ("(var4 stable)" 236 276)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 59)
  ("(var1 stable)" 59 276)
  ("(var2 stable)" 0 49)
  ("(var2 down)" 49 53)
  ("(var2 up)" 53 169)
  ("(var2 stable)" 169 276)
 )
)
(72
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 66)
  ("(var3 stable)" 66 290)
  ("(var4 stable)" 0 24)
  ("(var4 up)" 24 65)
  ("(var4 stable)" 65 155)
  ("(var4 down)" 155 245)
  ("(var4 stable)" 245 290)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 58)
  ("(var1 stable)" 58 290)
  ("(var2 stable)" 0 54)
  ("(var2 down)" 54 56)
  ("(var2 up)" 56 181)
  ("(var2 stable)" 181 290)
 )
)
(73
 (
  ("(var3 stable)" 0 93)
  ("(var3 up)" 93 121)
  ("(var3 stable)" 121 359)
  ("(var4 stable)" 0 92)
  ("(var4 up)" 92 124)
  ("(var4 down)" 124 126)
  ("(var4 up)" 126 129)
  ("(var4 stable)" 129 223)
  ("(var4 down)" 223 315)
  ("(var4 up)" 315 317)
  ("(var4 down)" 317 321)
  ("(var4 stable)" 321 359)
  ("(var1 stable)" 0 94)
  ("(var1 down)" 94 96)
  ("(var1 up)" 96 116)
  ("(var1 stable)" 116 359)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 up)" 113 233)
  ("(var2 stable)" 233 359)
 )
)
(74
 (
  ("(var3 stable)" 0 90)
  ("(var3 down)" 90 92)
  ("(var3 up)" 92 117)
  ("(var3 stable)" 117 346)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 119)
  ("(var4 stable)" 119 189)
  ("(var4 down)" 189 191)
  ("(var4 up)" 191 193)
  ("(var4 stable)" 193 240)
  ("(var4 down)" 240 298)
  ("(var4 stable)" 298 300)
  ("(var4 down)" 300 302)
  ("(var4 stable)" 302 346)
  ("(var1 stable)" 0 94)
  ("(var1 up)" 94 113)
  ("(var1 stable)" 113 346)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 110)
  ("(var2 up)" 110 239)
  ("(var2 stable)" 239 346)
 )
)
(75
 (
  ("(var3 up)" 0 2)
  ("(var3 stable)" 2 88)
  ("(var3 up)" 88 124)
  ("(var3 stable)" 124 371)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 121)
  ("(var4 stable)" 121 224)
  ("(var4 down)" 224 333)
  ("(var4 stable)" 333 371)
  ("(var1 stable)" 0 91)
  ("(var1 up)" 91 118)
  ("(var1 stable)" 118 371)
  ("(var2 stable)" 0 109)
  ("(var2 down)" 109 113)
  ("(var2 up)" 113 150)
  ("(var2 down)" 150 152)
  ("(var2 up)" 152 257)
  ("(var2 stable)" 257 371)
 )
)
(76
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 72)
  ("(var3 stable)" 72 298)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 74)
  ("(var4 stable)" 74 171)
  ("(var4 down)" 171 254)
  ("(var4 stable)" 254 298)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 50)
  ("(var1 stable)" 50 52)
  ("(var1 up)" 52 66)
  ("(var1 stable)" 66 298)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 stable)" 64 100)
  ("(var2 up)" 100 191)
  ("(var2 stable)" 191 298)
 )
)
(77
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 76)
  ("(var3 down)" 76 78)
  ("(var3 stable)" 78 301)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 75)
  ("(var4 stable)" 75 166)
  ("(var4 down)" 166 256)
  ("(var4 stable)" 256 301)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 75)
  ("(var1 stable)" 75 301)
  ("(var2 stable)" 0 67)
  ("(var2 down)" 67 69)
  ("(var2 up)" 69 183)
  ("(var2 down)" 183 185)
  ("(var2 stable)" 185 301)
 )
)
(78
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 94)
  ("(var3 stable)" 94 99)
  ("(var3 up)" 99 101)
  ("(var3 stable)" 101 347)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 97)
  ("(var4 stable)" 97 211)
  ("(var4 down)" 211 297)
  ("(var4 stable)" 297 347)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 90)
  ("(var1 down)" 90 92)
  ("(var1 stable)" 92 347)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 stable)" 86 123)
  ("(var2 up)" 123 193)
  ("(var2 down)" 193 195)
  ("(var2 up)" 195 236)
  ("(var2 stable)" 236 347)
 )
)
(79
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 111)
  ("(var3 stable)" 111 344)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 76)
  ("(var4 down)" 76 78)
  ("(var4 up)" 78 103)
  ("(var4 stable)" 103 233)
  ("(var4 down)" 233 296)
  ("(var4 stable)" 296 340)
  ("(var4 up)" 340 344)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 105)
  ("(var1 stable)" 105 344)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 100)
  ("(var2 stable)" 100 127)
  ("(var2 up)" 127 218)
  ("(var2 stable)" 218 344)
 )
)
(80
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 112)
  ("(var3 stable)" 112 361)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 112)
  ("(var4 stable)" 112 124)
  ("(var4 down)" 124 126)
  ("(var4 up)" 126 128)
  ("(var4 stable)" 128 211)
  ("(var4 down)" 211 316)
  ("(var4 stable)" 316 361)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 107)
  ("(var1 stable)" 107 361)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 104)
  ("(var2 stable)" 104 140)
  ("(var2 up)" 140 242)
  ("(var2 stable)" 242 361)
 )
)
(81
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 116)
  ("(var3 stable)" 116 337)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 122)
  ("(var4 stable)" 122 208)
  ("(var4 down)" 208 288)
  ("(var4 stable)" 288 292)
  ("(var4 down)" 292 294)
  ("(var4 stable)" 294 335)
  ("(var4 down)" 335 337)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 108)
  ("(var1 stable)" 108 337)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 101)
  ("(var2 stable)" 101 131)
  ("(var2 up)" 131 224)
  ("(var2 stable)" 224 337)
 )
)
(82
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 81)
  ("(var3 stable)" 81 324)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 84)
  ("(var4 stable)" 84 140)
  ("(var4 down)" 140 142)
  ("(var4 up)" 142 145)
  ("(var4 stable)" 145 201)
  ("(var4 down)" 201 286)
  ("(var4 stable)" 286 324)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 78)
  ("(var1 stable)" 78 324)
  ("(var2 stable)" 0 68)
  ("(var2 down)" 68 72)
  ("(var2 stable)" 72 88)
  ("(var2 up)" 88 154)
  ("(var2 down)" 154 156)
  ("(var2 up)" 156 213)
  ("(var2 stable)" 213 324)
 )
)
(83
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 89)
  ("(var3 down)" 89 91)
  ("(var3 stable)" 91 322)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 57)
  ("(var4 stable)" 57 59)
  ("(var4 up)" 59 89)
  ("(var4 down)" 89 91)
  ("(var4 up)" 91 93)
  ("(var4 stable)" 93 194)
  ("(var4 down)" 194 273)
  ("(var4 stable)" 273 276)
  ("(var4 down)" 276 283)
  ("(var4 stable)" 283 322)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 85)
  ("(var1 stable)" 85 322)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 78)
  ("(var2 up)" 78 205)
  ("(var2 stable)" 205 322)
 )
)
(84
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 59)
  ("(var3 stable)" 59 293)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 66)
  ("(var4 stable)" 66 153)
  ("(var4 down)" 153 251)
  ("(var4 stable)" 251 293)
  ("(var1 stable)" 0 30)
  ("(var1 up)" 30 67)
  ("(var1 stable)" 67 293)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 55)
  ("(var2 up)" 55 181)
  ("(var2 stable)" 181 293)
 )
)
(85
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 93)
  ("(var3 stable)" 93 347)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 64)
  ("(var4 stable)" 64 66)
  ("(var4 up)" 66 68)
  ("(var4 stable)" 68 70)
  ("(var4 up)" 70 95)
  ("(var4 down)" 95 97)
  ("(var4 stable)" 97 196)
  ("(var4 down)" 196 308)
  ("(var4 stable)" 308 347)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 97)
  ("(var1 stable)" 97 347)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 stable)" 85 125)
  ("(var2 up)" 125 128)
  ("(var2 down)" 128 130)
  ("(var2 up)" 130 231)
  ("(var2 stable)" 231 347)
 )
)
(86
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 59)
  ("(var3 stable)" 59 62)
  ("(var3 up)" 62 99)
  ("(var3 stable)" 99 348)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 104)
  ("(var4 down)" 104 106)
  ("(var4 stable)" 106 108)
  ("(var4 down)" 108 110)
  ("(var4 stable)" 110 203)
  ("(var4 down)" 203 300)
  ("(var4 stable)" 300 302)
  ("(var4 down)" 302 304)
  ("(var4 stable)" 304 346)
  ("(var4 up)" 346 348)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 65)
  ("(var1 stable)" 65 67)
  ("(var1 up)" 67 91)
  ("(var1 stable)" 91 348)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 stable)" 85 123)
  ("(var2 up)" 123 212)
  ("(var2 stable)" 212 348)
 )
)
(87
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 82)
  ("(var3 stable)" 82 318)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 87)
  ("(var4 stable)" 87 206)
  ("(var4 down)" 206 273)
  ("(var4 stable)" 273 318)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 55)
  ("(var1 up)" 55 79)
  ("(var1 stable)" 79 81)
  ("(var1 up)" 81 83)
  ("(var1 stable)" 83 318)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 74)
  ("(var2 up)" 74 209)
  ("(var2 stable)" 209 318)
 )
)
(88
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 104)
  ("(var3 stable)" 104 346)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 99)
  ("(var4 stable)" 99 102)
  ("(var4 up)" 102 104)
  ("(var4 stable)" 104 203)
  ("(var4 down)" 203 299)
  ("(var4 stable)" 299 346)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 96)
  ("(var1 stable)" 96 346)
  ("(var2 stable)" 0 88)
  ("(var2 down)" 88 92)
  ("(var2 up)" 92 207)
  ("(var2 stable)" 207 346)
 )
)
(89
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 93)
  ("(var3 stable)" 93 335)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 52)
  ("(var4 stable)" 52 57)
  ("(var4 up)" 57 88)
  ("(var4 down)" 88 91)
  ("(var4 up)" 91 94)
  ("(var4 stable)" 94 204)
  ("(var4 down)" 204 282)
  ("(var4 up)" 282 284)
  ("(var4 down)" 284 289)
  ("(var4 stable)" 289 335)
  ("(var1 up)" 0 2)
  ("(var1 stable)" 2 55)
  ("(var1 up)" 55 85)
  ("(var1 stable)" 85 335)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 up)" 79 122)
  ("(var2 stable)" 122 124)
  ("(var2 up)" 124 205)
  ("(var2 stable)" 205 335)
 )
)
(90
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 119)
  ("(var3 stable)" 119 371)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 123)
  ("(var4 stable)" 123 250)
  ("(var4 down)" 250 321)
  ("(var4 stable)" 321 371)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 117)
  ("(var1 down)" 117 119)
  ("(var1 up)" 119 121)
  ("(var1 stable)" 121 371)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 stable)" 107 139)
  ("(var2 up)" 139 142)
  ("(var2 down)" 142 144)
  ("(var2 up)" 144 253)
  ("(var2 stable)" 253 371)
 )
)
(91
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 69)
  ("(var3 stable)" 69 305)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 75)
  ("(var4 stable)" 75 168)
  ("(var4 down)" 168 270)
  ("(var4 stable)" 270 305)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 73)
  ("(var1 stable)" 73 305)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 up)" 59 96)
  ("(var2 stable)" 96 98)
  ("(var2 up)" 98 100)
  ("(var2 stable)" 100 102)
  ("(var2 up)" 102 190)
  ("(var2 down)" 190 192)
  ("(var2 up)" 192 194)
  ("(var2 stable)" 194 305)
 )
)
(92
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 81)
  ("(var3 down)" 81 83)
  ("(var3 stable)" 83 329)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 88)
  ("(var4 stable)" 88 183)
  ("(var4 down)" 183 219)
  ("(var4 stable)" 219 221)
  ("(var4 down)" 221 292)
  ("(var4 stable)" 292 329)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 82)
  ("(var1 stable)" 82 329)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 80)
  ("(var2 up)" 80 208)
  ("(var2 stable)" 208 329)
 )
)
(93
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 82)
  ("(var3 stable)" 82 291)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 96)
  ("(var4 stable)" 96 181)
  ("(var4 down)" 181 257)
  ("(var4 stable)" 257 291)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 61)
  ("(var1 down)" 61 63)
  ("(var1 up)" 63 81)
  ("(var1 stable)" 81 291)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 77)
  ("(var2 up)" 77 187)
  ("(var2 stable)" 187 291)
 )
)
(94
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 50)
  ("(var3 up)" 50 79)
  ("(var3 stable)" 79 318)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 94)
  ("(var4 stable)" 94 174)
  ("(var4 down)" 174 176)
  ("(var4 up)" 176 178)
  ("(var4 down)" 178 181)
  ("(var4 up)" 181 183)
  ("(var4 down)" 183 215)
  ("(var4 stable)" 215 217)
  ("(var4 down)" 217 272)
  ("(var4 up)" 272 274)
  ("(var4 stable)" 274 318)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 83)
  ("(var1 stable)" 83 318)
  ("(var2 stable)" 0 70)
  ("(var2 down)" 70 72)
  ("(var2 up)" 72 220)
  ("(var2 stable)" 220 318)
 )
)
(95
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 77)
  ("(var3 stable)" 77 301)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 78)
  ("(var4 stable)" 78 168)
  ("(var4 down)" 168 267)
  ("(var4 stable)" 267 301)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 76)
  ("(var1 down)" 76 78)
  ("(var1 stable)" 78 301)
  ("(var2 stable)" 0 70)
  ("(var2 down)" 70 74)
  ("(var2 up)" 74 180)
  ("(var2 stable)" 180 301)
 )
)
(96
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 95)
  ("(var3 stable)" 95 315)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 106)
  ("(var4 stable)" 106 198)
  ("(var4 down)" 198 268)
  ("(var4 stable)" 268 273)
  ("(var4 down)" 273 275)
  ("(var4 stable)" 275 315)
  ("(var1 stable)" 0 72)
  ("(var1 up)" 72 98)
  ("(var1 down)" 98 100)
  ("(var1 stable)" 100 315)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 93)
  ("(var2 up)" 93 196)
  ("(var2 down)" 196 198)
  ("(var2 up)" 198 200)
  ("(var2 stable)" 200 315)
 )
)
(97
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 51)
  ("(var3 stable)" 51 53)
  ("(var3 up)" 53 77)
  ("(var3 stable)" 77 316)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 81)
  ("(var4 stable)" 81 195)
  ("(var4 down)" 195 278)
  ("(var4 stable)" 278 281)
  ("(var4 down)" 281 283)
  ("(var4 stable)" 283 316)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 76)
  ("(var1 stable)" 76 316)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 73)
  ("(var2 stable)" 73 104)
  ("(var2 up)" 104 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 205)
  ("(var2 stable)" 205 316)
 )
)
(98
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 104)
  ("(var3 stable)" 104 316)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 105)
  ("(var4 stable)" 105 199)
  ("(var4 down)" 199 281)
  ("(var4 stable)" 281 316)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 103)
  ("(var1 stable)" 103 316)
  ("(var2 stable)" 0 93)
  ("(var2 down)" 93 95)
  ("(var2 up)" 95 215)
  ("(var2 stable)" 215 316)
 )
)
(99
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 85)
  ("(var3 stable)" 85 335)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 94)
  ("(var4 stable)" 94 187)
  ("(var4 down)" 187 288)
  ("(var4 up)" 288 290)
  ("(var4 down)" 290 294)
  ("(var4 stable)" 294 335)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 78)
  ("(var1 stable)" 78 335)
  ("(var2 stable)" 0 73)
  ("(var2 down)" 73 75)
  ("(var2 stable)" 75 111)
  ("(var2 up)" 111 113)
  ("(var2 stable)" 113 115)
  ("(var2 up)" 115 206)
  ("(var2 down)" 206 208)
  ("(var2 up)" 208 214)
  ("(var2 stable)" 214 335)
 )
)
(100
 (
  ("(var3 stable)" 0 89)
  ("(var3 down)" 89 92)
  ("(var3 up)" 92 122)
  ("(var3 stable)" 122 364)
  ("(var4 stable)" 0 94)
  ("(var4 up)" 94 134)
  ("(var4 stable)" 134 222)
  ("(var4 down)" 222 348)
  ("(var4 up)" 348 350)
  ("(var4 stable)" 350 364)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 93)
  ("(var1 stable)" 93 95)
  ("(var1 up)" 95 128)
  ("(var1 stable)" 128 364)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 stable)" 113 145)
  ("(var2 up)" 145 243)
  ("(var2 stable)" 243 364)
 )
)
